GNOME Shell
Window Managerの一種。
gnome-shell-extensionから拡張機能を追加できる。
以下の機能を追加して使っている。
pixel-saver
workspace-grid: https://qiita.com/dfukunaga/items/1811ae6ffbb0f5ad2138
#Ubuntu18